The mathematician as a formalist
نویسنده
چکیده
منابع مشابه
A Formalist's Perspective of Mathematics
According to some mathematicians, the formalist philosophy of mathematics faces the dilemma that a practising mathematician could not possibly hold a formalist conviction, although some of the weaknesses of mathematical foundations almost enforce a formalist position. I am a formalist, and in this paper I explain how this dilemma fails to materialise.
متن کاملKnowledge and Community in Mathematics
This paper examines the relationship between ideas about mathematical knowledge, the formation of mathematical research communities, and the technologies that mediate mathematical activity. We propose that mathematical research is presently in a transition phase; in the process of exchanging protocols that are oriented towards typographic publication systems for protocols that are oriented towa...
متن کاملThe Pragmatism of Hilbert's Programme
On 17 June 1899 the Göttingen society took part in the festive unveiling of the Gauss-Weber monument in memory of the great mathematical and physical tradition of the University of Göttingen. On the occasion of this event a commemorative volume was published containing two contributions: Emil Wiechert’s paper on the foundation of electrodynamics (Wiechert 1899 ) and David Hilbert’s paper on the...
متن کاملReflections on a categorical foundations of mathematics
We examine Gödel’s completeness and incompleteness theorems for higher order arithmetic from a categorical point of view. The former says that a proposition is provable if and only if it is true in all models, which we take to be local toposes, i.e. Lawvere’s elementary toposes in which the terminal object is a nontrivial indecomposable projective. The incompleteness theorem showed that, in the...
متن کاملA Formalist Analysis of Mohtasham Kashani’s Tarkib-band Based on Form and Meaning Point of View
Mohtasham Kashani, the great elegist of Islamic World, revolutionized the form of elegies with his famous Tarkib-band, in a way that no other poet has ever done so before and after him. One of the main concerns of this study is analyzing the relation between the inner and outer form of his poems. After analyzing the contents of his Tarkib-band, we reach to this fact that, there is a strong conn...
متن کامل